Partial Evaluation for Constraint-Based Program Analyses

Partial Evaluation for Constraint-Based Program Analyses

We report on a case study in the application of partial evaluation, initiated by the desire to speed up a constraint-based algorithm for controlflow analysis. We designed and implemented a dedicated partial evaluator, able to specialize the analysis wrt. a given constraint graph and thus remove the interpretive overhead, and measured it with Feeley’s Scheme benchmarks. Even though the gain turn...

A Toolkit for Constructing Type- and Constraint-Based Program Analyses

BANE (the Berkeley Analysis Engine) is a publicly available toolkit for constructing type-and constraint-based program analyses. 1 We describe the goals of the project, the rationale for BANE's overall design, some examples coded in BANE, and brieey compare BANE with other program analysis frameworks.

Making Set - Constraint Program Analyses

Partial Evaluation for Program Analysis

Preface This report documents the scientific work carried out during the part A of the Ph.D. studies of author at BRICS 1. The main topic of interest is programming languages, focusing on partial evaluation and program transformation. One of the ideas explored in the period was to assess the impact of partial evaluation on program analysis. The present report makes an account of the results obt...

Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs

The aim of this work is to describe a procedure for the partial evaluation of functional logic programs in rewriting-based languages using constraint-based information propagation. The partial evaluation algorithm incorporated with local and global control describes a KMP partial evaluator. We show results from the implementation of the partial evaluator in the rewriting-based functional logic ...